搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Data description, access and control : proceedings of 1972 ACM-SIGFIDET Workshop, Denver, Colorado, November 29-30, December 1, 1972 0 索取号：TP274.23-53/E802/1972 作者：ACM SIGFIDET Workshop (1972 : Denver、 Colo.)、Dean、 A. L. (Albert L.)、Association for Computing Machinery. Special Interest Group on File Description and Translation.、出版社：New York : Association for Computing Machinery, c1972.		Proceedings 0 索取号：TP273-53-711/E801/1973 作者：Canadian Conference on Automatic Control、 University of New Brunswick、 1973.、Atherton、 Derek P.、National Research Council Canada.、University of New Brunswick.、出版社：Fredericton, N.B. : University of New Brunswick, [1975?]
	Identification and system parameter estimation : Proceedings of the 3d IFAC Symposium, The Hague/Delft, The Netherlands, 12-15 June 1973. v. 1 0 索取号：TP271.7/E801/3.1 作者：IFAC Symposium on Identification and System Parameter Estimation (3rd : 1973 : Delft University of Technology)、Eykhoff、 Pieter、 1929- ed.、Instituut van Ingenieurs. Division for Automatic Control.、International Federation of Automatic Control.、International Federation of Automatic Control. Technical Committee on Theory.、International Federation of Automatic Control. Technical Committee on Applications.、出版社：London Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.		Third Texas conference on computing systems : november 7-8, 1974, The University of Texas at Austin, Austin, Texas 0 索取号：TP271-53/E801/3 作者：Texas Conference on Computing Systems (3rd : 1974 : University of Texas at Austin)、Szygenda、 Stephen Anthony、 1938-、University of Texas at Austin. Dept. of Electrical Engineering.、IEEE Computer Society.、出版社：Long Beach, Calif. : IEEE Computer Society, [1974?]
	IEEE conference record of 1966 seventh annual symposium on switching and automata theory : papers presented at the seventh annual symposium : University of California, Berkeley, Calif., October 26-28, 1966 0 索取号：TP17/E702/7 作者：Symposium on Switching and Automata Theory (7th : 1966 : Berkley)、Institute of Electrical and Electronics Engineers、出版社：New York, The Institute of Electrical and Electronics Engineers, 1966		Record of proceedings : the 16th Annual Simulation Symposium, Tampa, Florida, March 16-18,1983 0 索取号：TP15-53/E905/16 作者：Simulation Symposium (16th : 1983 : Tampa、 FL.)、IEEE Computer Society.、出版社：Silver Spring, MD. : IEEE Computer Society Press, c1983.
	Proceedings of the seventeenth Annual Conference on Information Sciences and Systems : papers presented, March 23-25, 1983 0 索取号：TP14-53/E9016/17 作者：Conference on Information Sciences and Systems (17th : 1983 : Johns Hopkins University)、Weinert、 Howard L.、Melville、 Robert C.、出版社：Baltimore, Md. : Johns Hopkins University, 1983.		A selection of papers from INFO II, the Second International Conference on Information Sciences and Systems 0 索取号：TP14-53/E906 作者：International Conference on Information Sciences and Systems (2nd : 1979 : University of Patras)、Lainiotis、 Demetrios G.、Tzannes、 N. S. (Nicolaos S.)、 1937-、出版社：Dordrecht : D. Reidel Pub. Co., c1980.
	Productivity in the information age : proceedings of the 46th ASIS Annual Meeting 0 索取号：TP14-53/E901/46.20 作者：American Society for Information Science. Meeting (46th : 1983 : Washington)、Vondran、 Raymond F.、出版社：White Plains, N.Y. : knowledge Industry Pub., c1983.		Proceedings of the first annual International Robot Conference, held as part of the International Robot Conference & Exhibition, Long Beach Convention Center, Long Beach, California, June 14-16, 1983 : InteRobot 83 0 索取号：TP11-53/E9019/1 作者：International Robot Conference (1st : 1983 : Long Beach、 Calif.)、Higgins、 William、 chairman InteRobot 83.、出版社：Wheaton, IL : Tower Conference Management Co., c1983.
	Proceedings of the Seventh International Joint Conference on Artificial Intelligence : IJCAI-81, 24-28 August 1981, University of British Columbia, Vancouver, B.C., Canada 0 索取号：TP11-53/E9020 作者：International Joint Conference on Artificial Intelligence (7th : 1981 : University of British Columbia)、Drinan、 Ann.、International Joint Conferences on Artificial Intelligence.、Canadian Society for Computational Studies of Intelligence.、American Association for Artificial Intelligence.、出版社：[S.l. : s.n.], c1981.		Conference record : 1976 Joint Workshop on Pattern Recognition and Artificial Intelligence, held at Hyannis, Massachusetts, June 1-3, 1976 0 索取号：TP11-53/E802 作者：Joint Workshop on Pattern Recognition and Artificial Intelligence、 Hyannis、 Mass.、 1976.、IEEE Computer Society.、出版社：Long Beach, CA : The Society, c1976.
	Proceedings of the 1978 Synthetic Aperture Radar Technology Conference : March 8-10, 1978, New Mexico State University, Las Cruces, New Mexico 0 索取号：TN98-53/E801 作者：Synthetic Aperture Radar Technology Conference (1978 : Las Cruces)、National Aeronautics and Space Adiminstration、 Johnson Space Center.、New Mexico State Univ.、出版社：Las Cruces : MMSU PSL, 1978?		Proceedings of the Conference on Video and Data Recording, Tuesday 20th to Thursday 22nd July 1976, the University of Birmingham 0 索取号：TN946-53/E802 作者：Conference on Video and Data Recording (1976 : University of Birmingham)、Institution of Electronic and Radio Engineers.、Institution of Electrical Engineers.、出版社：London : IERE, c1976.
	Fourth International Conference on Video and Data Recording : University of Southampton, 20-23rd April, 1982 0 索取号：TN94-53/E901 作者：International Conference on Video and Data Recording (4th : 1982 : University of Southampton)、Larry、 R.、Institution of Electronic and Radio Engineers.、出版社：London : Institution of Electronic and Radio Engineers, c1982.		Information systems and data analysis : prospects, foundations, applications : proceedings of the 17th annual conference of the Gesellschaft für Klassifikation e.V. University of Kaiserslautern, March 3-5, 1993 0 索取号：TP14-53/E991 作者：Gesellschaft für Klassifikation. Jahrestagung (17th : 1993 : University of Kaiserslautern)、Bock、 Hans Hermann.、Lenski、 Wolfgang、 1952-、Richter、 Michael M.、 1938-、出版社：Berlin ; New York : Springer-Verlag, c1994.

	Data description, access and control : proceedings of 1972 ACM-SIGFIDET Workshop, Denver, Colorado, November 29-30, December 1, 1972 0 索取号：TP274.23-53/E802/1972 作者：ACM SIGFIDET Workshop (1972 : Denver、 Colo.)、Dean、 A. L. (Albert L.)、Association for Computing Machinery. Special Interest Group on File Description and Translation.、出版社：New York : Association for Computing Machinery, c1972.		Proceedings 0 索取号：TP273-53-711/E801/1973 作者：Canadian Conference on Automatic Control、 University of New Brunswick、 1973.、Atherton、 Derek P.、National Research Council Canada.、University of New Brunswick.、出版社：Fredericton, N.B. : University of New Brunswick, [1975?]
	Identification and system parameter estimation : Proceedings of the 3d IFAC Symposium, The Hague/Delft, The Netherlands, 12-15 June 1973. v. 1 0 索取号：TP271.7/E801/3.1 作者：IFAC Symposium on Identification and System Parameter Estimation (3rd : 1973 : Delft University of Technology)、Eykhoff、 Pieter、 1929- ed.、Instituut van Ingenieurs. Division for Automatic Control.、International Federation of Automatic Control.、International Federation of Automatic Control. Technical Committee on Theory.、International Federation of Automatic Control. Technical Committee on Applications.、出版社：London Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.		Third Texas conference on computing systems : november 7-8, 1974, The University of Texas at Austin, Austin, Texas 0 索取号：TP271-53/E801/3 作者：Texas Conference on Computing Systems (3rd : 1974 : University of Texas at Austin)、Szygenda、 Stephen Anthony、 1938-、University of Texas at Austin. Dept. of Electrical Engineering.、IEEE Computer Society.、出版社：Long Beach, Calif. : IEEE Computer Society, [1974?]
	IEEE conference record of 1966 seventh annual symposium on switching and automata theory : papers presented at the seventh annual symposium : University of California, Berkeley, Calif., October 26-28, 1966 0 索取号：TP17/E702/7 作者：Symposium on Switching and Automata Theory (7th : 1966 : Berkley)、Institute of Electrical and Electronics Engineers、出版社：New York, The Institute of Electrical and Electronics Engineers, 1966		Record of proceedings : the 16th Annual Simulation Symposium, Tampa, Florida, March 16-18,1983 0 索取号：TP15-53/E905/16 作者：Simulation Symposium (16th : 1983 : Tampa、 FL.)、IEEE Computer Society.、出版社：Silver Spring, MD. : IEEE Computer Society Press, c1983.
	Proceedings of the seventeenth Annual Conference on Information Sciences and Systems : papers presented, March 23-25, 1983 0 索取号：TP14-53/E9016/17 作者：Conference on Information Sciences and Systems (17th : 1983 : Johns Hopkins University)、Weinert、 Howard L.、Melville、 Robert C.、出版社：Baltimore, Md. : Johns Hopkins University, 1983.		A selection of papers from INFO II, the Second International Conference on Information Sciences and Systems 0 索取号：TP14-53/E906 作者：International Conference on Information Sciences and Systems (2nd : 1979 : University of Patras)、Lainiotis、 Demetrios G.、Tzannes、 N. S. (Nicolaos S.)、 1937-、出版社：Dordrecht : D. Reidel Pub. Co., c1980.
	Productivity in the information age : proceedings of the 46th ASIS Annual Meeting 0 索取号：TP14-53/E901/46.20 作者：American Society for Information Science. Meeting (46th : 1983 : Washington)、Vondran、 Raymond F.、出版社：White Plains, N.Y. : knowledge Industry Pub., c1983.		Proceedings of the first annual International Robot Conference, held as part of the International Robot Conference & Exhibition, Long Beach Convention Center, Long Beach, California, June 14-16, 1983 : InteRobot 83 0 索取号：TP11-53/E9019/1 作者：International Robot Conference (1st : 1983 : Long Beach、 Calif.)、Higgins、 William、 chairman InteRobot 83.、出版社：Wheaton, IL : Tower Conference Management Co., c1983.
	Proceedings of the Seventh International Joint Conference on Artificial Intelligence : IJCAI-81, 24-28 August 1981, University of British Columbia, Vancouver, B.C., Canada 0 索取号：TP11-53/E9020 作者：International Joint Conference on Artificial Intelligence (7th : 1981 : University of British Columbia)、Drinan、 Ann.、International Joint Conferences on Artificial Intelligence.、Canadian Society for Computational Studies of Intelligence.、American Association for Artificial Intelligence.、出版社：[S.l. : s.n.], c1981.		Conference record : 1976 Joint Workshop on Pattern Recognition and Artificial Intelligence, held at Hyannis, Massachusetts, June 1-3, 1976 0 索取号：TP11-53/E802 作者：Joint Workshop on Pattern Recognition and Artificial Intelligence、 Hyannis、 Mass.、 1976.、IEEE Computer Society.、出版社：Long Beach, CA : The Society, c1976.
	Proceedings of the 1978 Synthetic Aperture Radar Technology Conference : March 8-10, 1978, New Mexico State University, Las Cruces, New Mexico 0 索取号：TN98-53/E801 作者：Synthetic Aperture Radar Technology Conference (1978 : Las Cruces)、National Aeronautics and Space Adiminstration、 Johnson Space Center.、New Mexico State Univ.、出版社：Las Cruces : MMSU PSL, 1978?		Proceedings of the Conference on Video and Data Recording, Tuesday 20th to Thursday 22nd July 1976, the University of Birmingham 0 索取号：TN946-53/E802 作者：Conference on Video and Data Recording (1976 : University of Birmingham)、Institution of Electronic and Radio Engineers.、Institution of Electrical Engineers.、出版社：London : IERE, c1976.
	Fourth International Conference on Video and Data Recording : University of Southampton, 20-23rd April, 1982 0 索取号：TN94-53/E901 作者：International Conference on Video and Data Recording (4th : 1982 : University of Southampton)、Larry、 R.、Institution of Electronic and Radio Engineers.、出版社：London : Institution of Electronic and Radio Engineers, c1982.		Information systems and data analysis : prospects, foundations, applications : proceedings of the 17th annual conference of the Gesellschaft für Klassifikation e.V. University of Kaiserslautern, March 3-5, 1993 0 索取号：TP14-53/E991 作者：Gesellschaft für Klassifikation. Jahrestagung (17th : 1993 : University of Kaiserslautern)、Bock、 Hans Hermann.、Lenski、 Wolfgang、 1952-、Richter、 Michael M.、 1938-、出版社：Berlin ; New York : Springer-Verlag, c1994.